大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Conference on Computing Fixed Points with Applications 的图书(共15125本)

B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besan莽on, France, January 17-19, 2007. Proceedings

0
索取号：
作者：Julliand、 Jacques.、Kouchnarenko、 Olga.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Nanocrystals: Synthesis, Properties and Applications [electronic resource]

0
索取号：
作者：Rao、 C. N. R.、Thomas、 P. J.、Kulkarni、 G. U.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi鈥檃n, China, June 23-27, 2008. Proceedings

0
索取号：
作者：Hee、 Kees M.、Valk、 R眉diger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

High Performance Computing on Vector Systems 2006 [electronic resource] : Proceedings of the High Performance Computing Center Stuttgart, March 2006

0
索取号：
作者：Resch、 Michael.、B枚nisch、 Thomas.、Tiyyagura、 Sunil.、Furui、 Toshiyuki.、Seo、 Yoshiki.、Bez、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers

0
索取号：
作者：Penkler、 Dave.、Reitenspiess、 Manfred.、Tam、 Francis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Medical Applications of Finite Mixture Models [electronic resource]

0
索取号：
作者：Schlattmann、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Enterprise Engineering I [electronic resource] : 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings

0
索取号：
作者：Dietz、 Jan L. G.、Albani、 Antonia.、Barjis、 Joseph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Distributed Applications and Interoperable Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

0
索取号：
作者：Meier、 Ren茅.、Terzis、 Sotirios.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Reliable Software Technologies-Ada-Europe 2008 [electronic resource] : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

0
索取号：
作者：Kordon、 Fabrice.、Vardanega、 Tullio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Multimodal Technologies for Perception of Humans [electronic resource] : International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers

0
索取号：
作者：Stiefelhagen、 Rainer.、Bowers、 Rachel.、Fiscus、 Jonathan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Headway in Spatial Data Handling [electronic resource] : 13th International Symposium on Spatial Data Handling

0
索取号：
作者：Ruas、 Anne.、Gold、 Christopher.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Tools for High Performance Computing [electronic resource] : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

0
索取号：
作者：Resch、 Michael.、Keller、 Rainer.、Himmler、 Valentin.、Krammer、 Bettina.、Schulz、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Heat and cold storage with PCM [electronic resource] : An up to date introduction into basics and applications

0
索取号：
作者：Mehling、 Harald.、Cabeza、 Luisa F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

0
索取号：
作者：Mueller、 Matthias S.、Chapman、 Barbara M.、Supinski、 Bronis R.、Malony、 Allen D.、Voss、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Experimental Algorithms [electronic resource] : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings

0
索取号：
作者：McGeoch、 Catherine C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号：
作者：Suzuki、 Kenji.、Higashino、 Teruo.、Ulrich、 Andreas.、Hasegawa、 Toru.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院